退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于协作的软件设计的模块化验证
Kathi Fisler; Shriram Krishnamurthi;
机译:不断发展的基于组件的软件的模块化一致性测试和假设保证验证
机译:自动生成用于软件规范模块化验证的假设
机译:C语言中软件组件的模块化验证
机译:基于对象的软件的机械和模块化验证条件生成
机译:基于软件网络测量软件模块化
机译:不同软件设计方案和程序中的目标点软件设计支持方法和规格验证方法
机译:适用于同一设备的软件设计验证设备和验证程序以及验证目标程序
机译:是面向对象的软件设计支持方式和软件在各种项目书编程期间的规格验证方式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。